#include <stdint.h>

extern "C"
int32_t native_add(int32_t x, int32_t y) {
    return x + y;
}